namespace SV_TAINTED_SECURITY_DECISION {
#include <sys/socket.h>
#include <netdb.h>
#include <stdbool.h>
#include <string.h>
#include <arpa/inet.h>

void f(const char* ip_addr_string) {
	struct hostent* hp; struct in_addr myaddr;
	char* tHost = "trustme.example.com";
	myaddr.s_addr = inet_addr(ip_addr_string);
	bool trusted = false;
	hp = gethostbyaddr((char*)&myaddr, sizeof(struct in_addr), AF_INET);
	if (hp && !strncmp(hp->h_name, tHost, sizeof(tHost))) {
		trusted = true;
	}
	else {
		trusted = false;
	}
}
}}